type MergeAll<XS> = any
